1

The Modal Logic of Provability. The Sequential Approach

Year:
1982
Language:
english
File:
PDF, 2.11 MB
english, 1982
2

A Modal Sequent Calculus for a Fragment of Arithmetic

Year:
1980
Language:
english
File:
PDF, 1.24 MB
english, 1980